منابع مشابه
Complete Diagnosability of Abrupt Faults Using Set-Based Sensitivities
To ensure the safe operation of technical processes, the occurrence of a fault has to be reliably detected for a supervisory component to react in time. We investigate the sensitivity of the measured outputs with respect to abrupt or parametric faults for polynomial hybrid systems. For this we define a sensitivity measure based on the reachable sets of the outputs. The approach allows for the c...
متن کاملMultiple Faults Diagnosability Criteria in Hybrid Control Systems
Lots of diagnosis approaches proposed in the literature are based in the assumption of single faults. This assumption may result to erroneous diagnosis statement in case where multiple faults occurs. Thus multiple fault diagnosis is a challenging field particularly in the control of large scale complex systems that can be viewed as hybrid systems. The main reason is that multiple faults are har...
متن کاملUsing Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study
This paper addresses formal verification of intermittent fault diagnosability in Discrete Event Systems (DESs). The system is modeled by a Finite State Automaton and intermittent faults are defined as faults that can automatically recover once they have occurred. Two definitions of diagnosability, regarding the detection of fault occurrences within a finite delay and the detection of fault occu...
متن کاملDiagnosability of Pushdown Systems
Partial observation of discrete-event systems features a setting where events split into observable and unobservable ones. In this context, the diagnosis of a discrete-event system consists in detecting defects from the (partial) observation of its executions. Diagnosability is the property that any defect is eventually detected. Not surprisingly, it is a major issue in practical applications. ...
متن کاملDiagnosability of Nested Intruders
Formalism for analyses of biological systems specified by process algebras is proposed. Biologically motivated it combines several security notions and approaches. It allows us to formalize such properties of biological systems as diagnosability, detection ability and a presence of biological intruders and pathological changes. Resulting properties can be viewed as complementary to security one...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Event Dynamic Systems
سال: 2017
ISSN: 0924-6703,1573-7594
DOI: 10.1007/s10626-017-0255-8